Project-Team Cassis
Members
Overall Objectives
Background
Context
Challenge
Research Program
Introduction
Automated Deduction
Synthesizing and Solving Constraints
Rewriting-based Safety Checking
Application Domains
Verification of Security Protocols
Automated Boundary Testing from Formal Specifications
Program Debugging and Verification
Verification of Web Services
Model-Checking of Collaborative Systems
Highlights of the Year
New Software and Platforms
Protocol Verification Tools
Testing Tools
Other Tools
New Results
Automated Deduction
Security Protocol Verification
Model-based Verification
Model-based Testing
Verification of Collaborative Systems
Bilateral Contracts and Grants with Industry
Electronic Voting Systems
Electronic Voting Systems
Partnerships and Cooperations
National Initiatives
European Initiatives
International Initiatives
International Research Visitors
Dissemination
Promoting Scientific Activities
Teaching - Supervision - Juries
Popularization
Bibliography
Major publications
Publications of the year
References in notes
Inria
|
Raweb 2015
|
Presentation of the Project-Team CASSIS
|
CASSIS Web Site
PDF
e-Pub
Previous |
Home
| Next
Section: Partnerships and Cooperations
International Research Visitors
Visits of International Scientists
Carlos Castro (UTSM Valparaíso, Chile), July 2015 - June 2016
Previous |
Home
| Next